Distributed Ada: case study
نویسندگان
چکیده
I owe Prof. Volz a deep sense of gratitude for his valuable, generous guidance during my PhD and also during the initial phases of my career. He has this amazing willingness to help me in all aspects of my career. I have always valued his advice based on his deep insight fully knowing that at all times he has my best interests in mind at all times. He has always been open to my ideas and supported me in the decisions I made. His mentorship and encouragement enabled me to embark on my academic career. I wish him the very best of health and happiness and success in the years to come.
منابع مشابه
Modelling Remote Concurrency with Ada. Case Study of Symmetric Non-deterministic Rendez-vous. Modelling Remote Concurrency with Ada. Case Study of Symmetric Non-deterministic Rendez-vous
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide platform-independent abstractions but, as the platform concurrency behaviour cannot be ignored, this abstraction level must also be able to cope with it and exhibit the influence of different possible behaviours. We st...
متن کاملModelling remote concurrency with Ada. Case study of symmetric non-deterministic rendezvous
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide platform-independent abstractions but, as the platform concurrency behaviour cannot be ignored, this abstraction level must also be able to cope with it and exhibit the influence of different possible behaviours. We st...
متن کاملModeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
The paper proposes a methodology for modeling distributed real-time applications written in Ada 95 and its Annexes D and E. The real-time model obtained is analyzable with a set of tools that includes multiprocessor priority assignment and worst-case schedulability analysis for checking hard real-time requirements. This methodology models independently the platform (processors, communication ne...
متن کاملP-142: Adenosine Deaminase Activity during Menses, Follicular and Luteal Phases of Menstrual Cycle
Background: In recent years, numerous regulators of gonadal function have been studied. Adenosine deaminase(ADA) is widely distributed throughout human tissues and may contribute in the regulation of menstrual cycle. The purpose of this study was to determine the plasma activities of total adenosine deaminase (ADAT), and its isoenzymes, ADA1 and ADA2, and ADA1/ADA2 ratio during the menses, foll...
متن کاملAda Binding to a Shared Object Layer
CORSO, a coordination system for virtual shared memory, allows bindings to different programming languages. Currently C, C++, Java, VisualBasic, and Oracle’s Developer2000 are supported. We implement an Ada binding to CORSO, thus opening the area of virtual shared memory to the Ada world. Our Ada CORSO binding enhances Ada with transaction-oriented, fault-tolerant, distributed objects in a stra...
متن کاملSupporting Ada 95 Passive Partitions in a Distributed Environment
Ada 95 passive partitions, containing passive library units, provide the means to distribute data within a network of workstations. This paper shows how passive partitions can be implemented via distributed shared virtual memory (DSM). DSM provides the logical view of a portion of memory shared between physically distributed workstations within a network. In this paper, we relate design issues ...
متن کامل